Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
811	Package ‘wq’ April 3, 2015 Type Package Title Exploring Water Quality Monitoring Data VersionDate Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2015-04-03 14:07:10 Abstract algebra Matrix theory Singular value decomposition Time series analysis Principal component analysis Empirical orthogonal functions Eigenvalues and eigenvectors Matrix Orthogonality Algebra Mathematics Linear algebra
812	Dimension Types ? Andrew Kennedy University of Cambridge Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:22:53 Computing Functional languages Procedural programming languages Type systems Type inference Standard ML ML Unification Principal type Programming language theory Type theory Software engineering
813	Language Complexity of Unimodal Systems Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:58 Combinatorics on words Automata theory Dynamical systems Ergodic theory Subshift of finite type Shift space Monoid Orbifold Mathematics Mathematical analysis Combinatorics
814	Under consideration for publication in Math. Struct. in Comp. Science A Type System for Discretionary Access Control M I C H E L E B U G L I E S I1 , D A R I O C O L A Z Z O2 , S I L V I A C R A F A3 , and D A M I A N O Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2010-06-10 05:02:46 Programming language theory Type system Lambda calculus Subtype polymorphism System F Π-calculus Type safety Type theory Software engineering Theoretical computer science
815	An introduction to gp2c By Bill Allombert and Ariel Pacetti February 22, 2012 Contents 1 What is gp2c? Add to Reading List Source URL: pari.math.u-bordeaux.fr Language: English - Date: 2012-02-22 04:04:50 Type theory PARI/GP Portable software C++ Declaration Type system C++ classes Function Variable Software Computing Data types
816	Fundamenta Informaticae XX–39 IOS Press A Subtyping for Extensible, Incomplete Objects To Helena Rasiowa: in memoriam Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:34:34 Object-oriented programming Computer programming Data types Polymorphism Subtype polymorphism Models of computation Type system Inheritance Objective-C Software engineering Type theory Computing
817	Intentional Learning: A Process for Lea...counting Curriculum-3.3 Learning Styles file:///U\|/Users/JustinS/pubs/intent/3_3.htm Intentional Learning: A Process for Learning to Learn in the Add to Reading List Source URL: www2.aaahq.org Language: English - Date: 2003-09-12 10:41:18 Pedagogy Critical pedagogy Learning theory Learning styles E-learning Experiential learning Myers-Briggs Type Indicator ISTJ Student-centred learning Education Educational psychology Alternative education
818	EE333 Microcontroller Engineering Oregon Tech Portland, Fall 2012 Homework Assignment #2 Due October 9 Each of the problems in this assignment use the following data declarations: org $1000 Add to Reading List Source URL: www.almy.us Language: English - Date: 2012-07-15 16:09:13 Programming language theory Assembly languages Data types MOV Addressing mode C++ classes Variable Value Static single assignment form Software engineering Computing Type theory
819	The Entropy of Linear Cellular Automata with Respect to Any Bernoulli Measure Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-06-20 13:21:02 Mathematics Information theory Thermodynamics Statistical theory Randomness Topological entropy Entropy Measure-preserving dynamical system Subshift of finite type Ergodic theory Statistics Thermodynamic entropy
820	Characterization of the Windows Kernel version variability for accurate Memory analysis. Michael Cohen DFRWS 2015 Dublin. Add to Reading List Source URL: www.dfrws.org Language: English - Date: 2015-03-24 15:56:16 C programming language C++ Data types Type theory Typedef Struct C++ classes Enumerated type C Computing Computer programming Software engineering

UPDATE